Une méthode de formalisation progressive des exigences basée sur un modèle simulable

نویسندگان

  • Clémentine Nebut
  • Franck Fleurey
چکیده

RÉSUMÉ. Les exigences d’un logiciel, souvent rédigées en langage naturel, sont à la base des phases de conception et de test fonctionnel. Le langage naturel est par nature ambigu, et les exigences peuvent donc être différemment interprétées lors de la construction et de la validation du logiciel. C’est pourquoi nous proposons une méthode de raffinement progressif des exigences vers des modèles dont la sémantique est connue. À partir d’exigences en langage naturel contrôlé, nous proposons tout d’abord de générer un modèle fonctionnel simulable basé sur les cas d’utilisation UML ; la simulation permet l’amélioration des exigences et peut aussi servir de base à un mécanisme de génération de tests. À partir des exigences ainsi améliorées, nous proposons également la génération d’une ébauche de modèle statique.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Méthode de conception d'une base multidimensionnelle contrainte

Résumé. Ce papier présente notre méthode de conception de bases de données multidimensionnelles (BDM) contraintes. Nous proposons une méthode mixte basée sur une démarche descendante et une démarche ascendante. La démarche descendante est composée de trois étapes: la collecte des besoins des décideurs, la spécification et la formalisation de ces besoins suivant un modèle multidimensionnel en co...

متن کامل

Comparaison du modèle vectoriel et de la pondération tf*idf associée avec une méthode de propagation d'activation

RÉSUMÉ. L'objet de ce papier est de montrer qu'il est possible de mettre le modèle vectoriel et la pondération tf*idf associée en correspondance avec le calcul d'une résonance dans un réseau associatif basé sur une méthode très simple de propagation d'activation. Nous décrivons un réseau associatif associant termes et documents puis un calcul de résonance entre une requête et un document dans c...

متن کامل

Conception assistée d'une ontologie à partir d'une conceptualisation consensuelle exprimée de manière semi-formelle

Résumé : Cet article présente une méthodologie assistée de conception d'une ontologie à travers trois méthodes, soit une méthode d'élicitation des connaissances d'un domaine résultant en un modèle semi-formel de ces connaissances, une méthode de formalisation conduisant à la production d’une ontologie et une méthode de validation syntaxique et sémantique de l'ontologie. Les processus de formali...

متن کامل

Apprentissage de représentation pour la détection de source dans les réseaux sociaux

RÉSUMÉ. Récemment, divers travaux se sont interessés à la détection de source de diffusion dans les réseaux sociaux : il s’agit de déterminer l’utilisateur à partir duquel une information propagée a initiallement été émise. Dans cet article, nous proposons une nouvelle méthode pour la détection de source de diffusion, basée sur des techniques d’apprentissage de représentation. Plutôt que de s’a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • L'OBJET

دوره 11  شماره 

صفحات  -

تاریخ انتشار 2005